/*
 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

/* Needed for pico build */
/* The SDK is searching for this file */

#ifndef _PICO_VERSION_H
#define _PICO_VERSION_H

#define PICO_SDK_VERSION_MAJOR    1
#define PICO_SDK_VERSION_MINOR    3
#define PICO_SDK_VERSION_REVISION 1
#define PICO_SDK_VERSION_STRING   "1.3.1"

#endif
